orthogonality theorem

正交定理